Nuprl Definition : st-atom
11,40
postcript
pdf
st-atom(
tab
;
n
) == ((
tab
.2.2)(
n
)).1
latex
Definitions
t
.1
,
t
.2
FDL editor aliases
st-atom
origin